De-/Re-constructing Model Transformation Languages
نویسندگان
چکیده
The diversity of today’s model transformation languages makes it hard to compare their expressiveness and provide a framework for interoperability. Deconstructing and then re-constructing model transformation languages by means of a unique set of most primitive constructs facilitates both. We thus introduce T-Core, a collection of primitives for model transformation. Combining T-Core with a (programming or modelling) language enables the design of model transformation formalisms. We show how basic and more advanced features from existing model transformation languages can be re-constructed using T-Core primitives.
منابع مشابه
A Functorial Approach to Re nement
We introduce -algebras and -algebras as semantic domains for data re nement of imperative programming languages. The functorial semantics of -calculus is given by using the adjunction between the category of -algebras and the category of small locally ordered categories. We de ne the notion of upward and downward simulation between the interpretations of atomic commands, and re nements between ...
متن کاملTales of ER and RE Syntax and Semantics
This paper explains how four model transformations between database models work: (1) An ER (Entity-Relationship) database schema is transformed into a collection of ER database states, (2) a RE (Relational) database schema into a collection of RE database states, (3) an ER database schema into a RE database schema, and (4) a collection of ER database states into a collection of RE database stat...
متن کاملModel Transformations from a Data Parallel Formalism towards Synchronous Languages
The increasing complexity of embedded system designs calls for high-level specification formalisms and for automated transformations towards lower-level descriptions. In this report, a metamodel and a transformation chain are defined from a high-level modeling framework, Gaspard, for data-parallel systems towards a formalism of synchronous equations. These equations are translated in synchronou...
متن کاملAspect Oriented UML to ECORE Model Transformation
With the emerging concept of model transformation, information can be extracted from one or more source models to produce the target models. The conversion of these models can be done automatically with specific transformation languages. This conversion requires mapping between both models with the help of dynamic hash tables. Hash tables store reference links between the elements of the source...
متن کاملOn the Connection of Equation- and Automata-based Languages: Transforming the Compositional Interchange Format to Modelica
In recent years, the object-oriented Modelica formalism for dynamic hybrid models has become a de-facto standard for the equation-based modeling, design, and analysis of complex, heterogeneous systems. It provides powerful mechanisms for model structuring and consistent model re-use, and a variety of tools are available that are based on the Modelica formalism. In this paper, an algorithmic tra...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- ECEASST
دوره 29 شماره
صفحات -
تاریخ انتشار 2010